This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...
Lire la suiteThis book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Lire la suiteThis tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lire la suiteThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Lire la suiteThe book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Lire la suiteReliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lire la suiteThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lire la suiteStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...
Lire la suiteThis book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Lire la suiteThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suiteThe size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
Lire la suiteThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
Lire la suiteThe scope of the workshop included the following topics: – design of distributed applications – development methodologies ...
Lire la suiteThis book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lire la suiteVolume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
Lire la suiteVolume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
Lire la suite